Synthesis of Reo Circuits from Scenario-based Specifications
نویسندگان
چکیده
منابع مشابه
Synthesis of Reo circuits from scenario-based interaction specifications
It is difficult to construct correct models for distributed large-scale service-oriented applications. Typically, the behavior of such an application emerges from the interaction and collaboration of multiple components/services. On the other hand, each component, in general, takes part in multiple scenarios. Consequently, not only components, but also their interaction protocols are important ...
متن کاملSynthesis from scenario-based specifications
a r t i c l e i n f o a b s t r a c t Dedicated to the dear memory of Amir Pnueli: Friend, colleague, and a truly towering figure in computer science We consider the problem of the automatic generation of reactive systems from specifications given in the scenario-based language of live sequence charts (LSCs). We start by extending the language so that it becomes more suitable for synthesis. We ...
متن کاملSynthesis of Connectors from Scenario-Based Interaction Specifications
The idea of synthesizing state-based models from scenario-based interaction specifications has received much attention in recent years. The synthesis approach not only helps to significantly reduce the effort of system construction, but it also provides a bridge over the gap between requirements and implementation of systems. However, the existing synthesis techniques only focus on generating (...
متن کاملCompositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications
Modern software-intensive systems often consist of multiple components that interact to fulfill complex functions in sometimes safetycritical situations. During the design, it is crucial to specify the system’s requirements formally and to detect inconsistencies as early as possible in order to avoid flaws in the product or costly iterations during its development. We propose to use Modal Seque...
متن کاملSynthesis of Executable Implementations from Scenario-based Specifications, Dirk Fahland
Scenario-based modeling has emerged as an accepted paradigm for developing complex systems of various kinds. Its main purpose is to ensure that a system provides desired behavior to its users. A scenario is generally understood as a behavioral requirement, denoting a course of actions that shall occur in the system. A typical notation of scenarios is Message Sequence Charts or, more general, fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.06.027